Michael G. Hinchey (eds.): ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

წელი:

1999

ენა:

english

ფაილი:

DJVU, 3.63 MB

0 / 0

english, 1999

2

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 3.25 MB

0 / 0

english, 2001

3

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 4.97 MB

0 / 0

english, 2001

4

Understanding Formal Methods

Understanding Formal Methods

Springer-Verlag London

Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 11.81 MB

0 / 0

english, 2003

5

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 8.17 MB

0 / 0

english, 2005

6

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 10.95 MB

0 / 0

english, 1998

7

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 4.28 MB

0 / 0

english, 2007

8

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

წელი:

1995

ენა:

english

ფაილი:

DJVU, 5.90 MB

0 / 0

english, 1995

9

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 3.98 MB

0 / 0

english, 2003

10

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 41.80 MB

0 / 0

english, 1999

11

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

Springer-Verlag Berlin Heidelberg

Karin Breitman, Walt Truszkowski (auth.), Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 5.32 MB

0 / 0

english, 2006

12

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.89 MB

0 / 0

english, 2005

13

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 3.78 MB

0 / 0

english, 1997

14

Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

Springer-Verlag London

წელი:

2006

ენა:

english

ფაილი:

PDF, 1.83 MB

0 / 0

english, 2006

15

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

წელი:

2005

ენა:

english

ფაილი:

DJVU, 3.35 MB

0 / 0

english, 2005